typed lambda-calculus
具型式之 λ 演算
热门查询
- Rochefort [地名] [比利时、法国] 罗什福尔
- petite n. 妇女服装尺码的小号 adj. （女子）娇小的，小个子的 n. (Petite)人名；(法)珀蒂特
- Winchester n. 标准细长玻璃瓶，广口式窄柱形瓶
- propulsion n. 推进；推进力
- expiration n. 呼气；终结；届期
- masterclass n. （由舞蹈、音乐等方面的名家为优秀生讲授的）高级讲习班
- witness n. 证人；目击者；证据 vt. 目击；证明；为…作证 vi. 作证人 n. (Witness)人名；(津)威特尼斯
- mobile adj. 可移动的；机动的；易变的；非固定的 n. 运动物体
- valedictorian n. 告别演说者；致告别辞者
- plateful n. 一盘；满盘
- bible n. 有权威的书
- veiling n. 面纱；面纱布料；罩以面纱 v. 用面纱遮掩；带面纱（veil的ing形式）
- exemption n. 免除，豁免；免税
- narrowly adv. 仔细地；勉强地；狭窄地；严密地
- convective adj. 对流的；传递性的
- permanency n. 永久；耐久性；永久的事物
- sounder n. 音响发声器；鸣响的东西；发声者
- exhilaration n. 愉快；令人高兴
- cistern n. 水箱；水池；贮水器
- formalization n. 形式化；礼仪化
考试词汇表
- accident operating conditions
- accidental action combination
- accidental admission of steam
- accommodate by accepting time
- accommodating monetary policy
- accommodation ladder platform
- accommodation ladder, gangway
- accommodation, living quarter
- accommodative convergence, AC
- accommodative effort syndrome
- accommondation bill of lading
- accordance with the agreement
- accordant junction of streams
- according to one's own lights
- according to the ISO standard
- account form income statement
- account form of balance sheet
- account opening documentation
- account receivable discounted
- account receivable management
